$\forall$$p$,$q$:$\mathbb{B}$. ($\neg_{b}$($p$ $\vee_{b}$$q$)) = (($\neg_{b}$$p$) $\wedge_{b}$ ($\neg_{b}$$q$)) $\in$ $\mathbb{B}$